<?php
include("lib.php");

$user = $_GET['user'];
$value = readCurrentValue($user);
echo($value);
?>